$\forall$$R$:es\_realizer\{i:l\}, $i$:Id. R{-}da($R$; $i$) $\in$ fpf(Knd; $k$.Type)